AbstractTypeProjectionLike.agda:19,33-37
true != false of type Bool
when checking that the expression refl has type f Bool true ≡ false
